(* Used to generate an init script from a list of policies. The script will be then applied to a file tree to init the ptag of files *)
